1. ......................
پدیدآورنده : Colling, J.E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Real-time data processing,، System design,، Object-oriented programming )Computer science(
رده :
QA
76
.
54
.
C65
1997
2. A practical guide to designing expert systems
پدیدآورنده : Sholom M. Weiss and Casimir A. Kulikowski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Expert systems (computer science),System design
رده :
QA
,
76
.
9
,.
W4P7
,
1984
3. Activity-centered design :
پدیدآورنده : Geri Gay and Helene Hembrooke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-computer interaction.,Human-machine systems-- Design.,System design.,Computer Science.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Social Aspects-- Human-Computer Interaction.,Engineering & Applied Sciences.,Human-computer interaction.,Human-computer interaction.,Human-machine systems-- Design.,Human-machine systems-- Design.,System design.,System design.
رده :
QA76
.
9
.
H85
G39
2004eb
4. Advances in Computer Technology and Applications in Japan
پدیدآورنده : edited by Thiruvalam K. S. Murthy, Carlos A. Brebbia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Computer System Implementation.,Computer-Aided Engineering (CAD, CAE) and Design.
5. Advances in Safety Management and Human Factors
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : System safety. ; Medicine, Industrial. ; Applied psychology. ; Computer science. ; Engineering design. ; Quality Control, Reliability, Safety and Risk. ;
6. Advances in evolutionary computing for system design
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Evolutionary programming (Computer science) ; Evolutionary computation. ; System design. ;
7. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
8. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
9. Algebraic foundations of systems specification
پدیدآورنده : E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Software engineering,، Formal methods )Computer science(,، System design
رده :
QA
76
.
758
.
A437
1999
10. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده : / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
11. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
12. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
13. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
14. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, D.)Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
15. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده : / D.C.Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
16. An introduction to discrete mathematics, specification, and Z
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
17. An introduction to <object-oriented systems analysis and design> with UML and the unified process
پدیدآورنده : / Stephen R. Schach
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Object-oriented methods (Computer science),UML (Computer science),System analysis,System design
رده :
005
.
117
S291I
2004
18. An introduction to object-oriented systems analysis and design with UML and the unified process
پدیدآورنده : Schach, Stephen R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Object-oriented methods )Computer science(,، UML )Computer science(,، System analysis,، System design
رده :
QA
76
.
9
.
O35
S24
19. An introduction to object-oriented systems analysis and design with UML and the unified process
پدیدآورنده : Schach, Stephen R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented methods )Computer science(,، UML )Computer science(,، System analysis,، System design
رده :
QA
76
.
9
.
O35S32
20. An introduction to object-oriented systems analysis and design with UML and the unified process
پدیدآورنده : Schach, Stephen R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Object-oriented methods )Computer science(,، UML )Computer science(,، System analysis,، System design
رده :
QA
76
.
9
.
O35
S24
2004
